Search Results
SmartPulse: Automated Checking of Temporal Properties in Smart Contracts
SmartPulse: Automated Checking of Temporal Properties in Smart Contracts
Formal verification: the road to complete security of smart contracts - Martin Lundfall
Specifying & verifying Solidity contracts by Martin Lundfall
VerX: Safety Verification of Smart Contracts
Invited Tutorial (Part 1) - Monitoring Spatio-Temporal Properties
Episode 284 - Using Formal Verification on ZK Systems with Jon Stephens
An Interactive Prover for Protocol Verification in the Computational Model
CanDID: Bootstrapping Decentralized Identity from Legacy Providers
Compositional Security for Reentrant Applications
Bookworm Game: Automatic Discovery of LTE Vulnerabilities Through Documentation Analysis
The EMV Standard: Break, Fix, Verify
